Skip to content

Conversation

nathan-websculpt
Copy link
Contributor

Small updates to docs

@nikgraf
Copy link
Collaborator

nikgraf commented Jul 4, 2025

thanks a lot @nathan-websculpt, much appreciated 🙌

@nikgraf
Copy link
Collaborator

nikgraf commented Jul 4, 2025

@nathan-websculpt the commits are not signed and then I can't merge them due repository rules. Can you open a new PR with signed commits? If too complicated I can apply your changes manually

@nathan-websculpt
Copy link
Contributor Author

nathan-websculpt commented Jul 4, 2025

@nathan-websculpt the commits are not signed and then I can't merge them due repository rules. Can you open a new PR with signed commits? If too complicated I can apply your changes manually

Sorry about that! I rebased and amended them all, signed. They are showing as verified here, now. Do I still need to create another PR, or did the amend make this one usable?

EDIT: Here is another PR if needed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants